domains
    perso = symbol

    predicates
    hombre(perso)
    mujer(perso)
    pariente(perso,perso)
    esposos(perso,perso)

    padre(perso,perso)
    madre(perso,perso)
    hija(perso,perso)
    hijo(perso,perso)
    hijos(perso,perso)

    hermano_de(perso,perso)
    hermana_de(perso,perso)
    hermanos(perso,perso)

    primo_de(perso,perso)
    prima_de(perso,perso)
    primos(perso,perso)

    tia_de(perso,perso)
    tio_de(perso,perso)
    tios(perso,perso)

    sobrino_de(perso,perso)
    sobrina_de(perso,perso)
    sobrinos(perso,perso)

    abuelo_de(perso,perso)
    abuela_de(perso,perso)

    ancestros(perso,perso)

    suegro_de(perso,perso)
    suegra_de(perso,perso)
    suegros(perso,perso)

    cuñada_de(perso,perso)
    cuñado_de(perso,perso)
    cuñados(perso,perso)

    clauses
    hombre(francisco).
    hombre(juan).
    hombre(benito).
    hombre(arcesio).
    hombre(alex).
    mujer(katherine).
    mujer(isabel).
    mujer(julia).
    mujer(ana).
    mujer(cristina).
    mujer(laura).
    mujer(silvia).
    pariente(francisco,juan).
    pariente(francisco,julia).
    pariente(francisco,ana).
    pariente(katherine,juan).
    pariente(katherine,julia).
    pariente(katherine,ana).
    pariente(juan,arcesio).
    pariente(juan,cristina).
    pariente(isabel,arcesio).
    pariente(isabel,cristina).
    pariente(benito,alex).
    pariente(benito,laura).
    pariente(benito,silvia).
    pariente(ana,alex).
    pariente(ana,laura).
    pariente(ana,silvia).

    madre(X,Y):-mujer(X),pariente(X,Y).
    padre(X,Y):-hombre(X),pariente(X,Y).

    esposos(X,Y):-pariente(X,S),pariente(Y,S),X<>Y.

    hija(Y,X):-mujer(Y),pariente(X,Y).
    hijo(Y,X):-hombre(Y),pariente(X,Y).
    hijos(Y,X):-pariente(X,Y).
 
    hermano_de(X,Y):-hombre(X),padre(Z,X),padre(Z,Y),X<>Y.
    hermana_de(X,Y):-mujer(X),padre(Z,X),padre(Z,Y),X<>Y.
    hermanos(X,Y):-padre(Z,X),padre(Z,Y),X<>Y.
 
    primo_de(X,Y):-hombre(X),pariente(Z,X),pariente(M,Y),hermanos(Z,M).
    prima_de(X,Y):-mujer(X),pariente(Z,X),pariente(M,Y), hermanos(Z,M).
    primos(X,Y):-pariente(Z,X),pariente(M,Y),hermanos(Z,M).
 
    tia_de(X,Y):-mujer(X),pariente(Z,Y),hermanos(X,Z).
    tio_de(X,Y):-hombre(X),pariente(Z,Y),hermanos(X,Z).
    tios(X,Y):-pariente(Z,Y),hermanos(X,Z).

    sobrino_de(X,Y):-hombre(X),pariente(Z,X),hermanos(Y,Z).
    sobrina_de(X,Y):-mujer(X),pariente(Z,X),hermanos(Y,Z).
    sobrinos(X,Y):-pariente(Z,X),hermanos(Y,Z).

    abuelo_de(X,Y):-hombre(X),pariente(Z,Y),padre(X,Z).
    abuela_de(X,Y):-mujer(X),pariente(Z,Y),madre(X,Z).

    ancestros(X,Y):-pariente(Z,Y),pariente(X,Z).

    suegro_de(X,Y):-hombre(X),esposos(Y,S),padre(X,S).
    suegra_de(X,Y):-mujer(X),esposos(Y,S),madre(X,S).
    suegros(X,Y):-esposos(Y,S),pariente(X,S).

    cuñada_de(X,Y):-mujer(X),esposos(Y,Z),hermanos(Z,X).
    cuñado_de(X,Y):-hombre(X),esposos(Y,Z),hermanos(Z,X).
    cuñados(X,Y):-esposos(Y,Z),hermanos(Z,X).